Regular musical activity as a complex multimodal lifestyle activity is proposed to be protective against age-related cognitive decline and Alzheimer’s disease. This cross-sectional study investigated the association and interplay between musical instrument playing during life, multi-domain cognitive abilities and brain morphology in older adults from the DZNE-Longitudinal Cognitive Impairment and Dementia Study study. Participants reporting having played a musical instrument across three life periods were compared to controls without a history of musical instrument playing, well-matched for reserve proxies of education, (...) intelligence, socioeconomic status and physical activity. Participants with musical activity outperformed controls in global cognition, working memory, executive functions, language, and visuospatial abilities, with no effects seen for learning and memory. The musically active group had greater gray matter volume in the somatosensory area, but did not differ from controls in higher-order frontal, temporal, or hippocampal volumes. However, the association between gray matter volume in distributed frontal-to-temporal regions and cognitive abilities was enhanced in participants with musical activity compared to controls. We show that playing a musical instrument during life relates to better late-life cognitive abilities and greater brain capacities in OA. Musical activity may serve as a multimodal enrichment strategy that could help preserve cognitive and brain health in late life. Longitudinal and interventional studies are needed to support this notion. (shrink)

The Metaphysical Club, a gathering of intellectuals in the 1870s associated with Harvard, is widely recognized as the crucible where pragmatism, America's distinctively original philosophy, was refined and proclaimed. Louis Menand's bestseller about the group was a dramatic publishing success. However, only three actual members - Oliver Wendell Holmes Jr., Charles S. Peirce, and William James - appear in this book, alongside other thinkers such as John Dewey who were never in the Club. The Real Metaphysical Club tells the (...) full story of how this influential group shifted the course of philosophy in America. In addition to pioneering pragmatism, the group explored radical empiricism and idealism, and formulated personalism and process philosophy, equally important developments. This volume contains thirty-seven important writings dating from 1870 to 1885 by the real members of the Metaphysical Club. The first section centers on pragmatism and science; the second part collects writings of the lawyers; and the third part covers idealist and personalist philosophers. Many of these writings have never been reprinted before, and nothing like this impressive collection has ever been attempted. A general introduction provides a narrative history, and the editors' three introductions to the volume's sections vividly bring to life the intense meetings, sustained debates, and pioneering thought from the Metaphysical Club. (shrink)

A type analysable in one-based types in a simple theory is itself one-based.

We generalize Frécon’s construction of the inevitable radical to groups in stable and even simple theories.

JOHN CORCORAN AND WAGNER SANZ, Disbelief Logic Complements Belief Logic. Philosophy, University at Buffalo, Buffalo, NY 14260-4150 USA E-mail: [email protected] Filosofia, Universidade Federal de Goiás, Goiás, GO 74001-970 Brazil E-mail: [email protected] -/- Consider two doxastic states belief and disbelief. Belief is taking a proposition to be true and disbelief taking it to be false. Judging also dichotomizes: accepting a proposition results in belief and rejecting in disbelief. Stating follows suit: asserting a proposition conveys belief and denying conveys disbelief. (...) Traditional logic implicitly focused on logical relations and processes needed in expanding and organizing systems of beliefs. Deducing a conclusion from beliefs results in belief of the conclusion. Deduction presupposes consequence: one proposition is a consequence of a set of a propositions if the latter logically implies the former. The role of consequence depends on its being truth-preserving: every consequence of a set of truths is true. This paper, which builds on previous work by the second author, explores roles of logic in expanding and organizing systems of disbeliefs. Aducing a conclusion from disbeliefs results in disbelief of the conclusion. Aduction presupposes contrequence: one proposition is a contrequence of a set of propositions if the set of negations or contradictory opposites of the latter logically implies that of the former. The role of contrequence depends on its being falsity-preserving: every contrequence of a set of falsehoods is false. A system of aductions that includes, for every contrequence of a given set, an aduction of the contrequence from the set is said to be complete. Historical and philosophical discussion is illustrated and enriched by presenting complete systems of aductions constructed by the second author. One such, a natural aduction system for Aristotelian categorical propositions, is based on a natural deduction system attributed to Aristotle by the first author and others. ADDED NOTE: Wagner Sanz reconstructed Aristotle’s logic the way it would have been had Aristole focused on constructing “anti-sciences” instead of sciences: more generally, on systems of disbeliefs. (shrink)

A totally ordered group G is called coset-minimal if every definable subset of G is a finite union of cosets of definable subgroups intersected with intervals with endpoints in G{±∞}. Continuing work in Belegradek et al. 1115) and Point and Wagner 261), we study coset-minimality, as well as two weak versions of the notion: eventual and ultimate coset-minimality. These groups are abelian; an eventually coset-minimal group, as a pure ordered group, is an ordered abelian group of finite regular rank. (...) Any pure ordered abelian group of finite regular rank is ultimately coset-minimal and has the exchange property; moreover, every definable function in such a group is piecewise linear. Pure coset-minimal and eventually coset-minimal groups are classified. In a discrete coset-minimal group every definable unary function is piece-wise linear 261), where coset-minimality of the theory of the group was required). A dense coset-minimal group has the exchange property ); moreover, any definable unary function is piecewise linear, except possibly for finitely many cosets of the smallest definable convex nonzero subgroup. Finally, we give some examples and open questions. (shrink)

We pose and resolve several vexing decision theoretic puzzles. Some are variants of existing puzzles, such as 'Trumped' (Arntzenius and McCarthy 1997), 'Rouble trouble' (Arntzenius and Barrett 1999), 'The airtight Dutch book' (McGee 1999), and 'The two envelopes puzzle' (Broome 1995). Others are new. A unified resolution of the puzzles shows that Dutch book arguments have no force in infinite cases. It thereby provides evidence that reasonable utility functions may be unbounded and that reasonable credence functions need not be countably (...) additive. The resolution also shows that when infinitely many decisions are involved, the difference between making the decisions simultaneously and making them sequentially can be the difference between riches and ruin. Finally, the resolution reveals a new way in which the ability to make binding commitments can save perfectly rational agents from sure losses. (shrink)

A couple may have a child to provide stem cells for another child. They may also use preimplantation testing—even, troubling though it is, prenatal testing and selective abortion—to ensure a close tissue match.

Aristotelian commenters have long noted an apparent contradiction between what Aristotle says in Posterior Analytics I.2 and Physics I.1 about how we obtain first principles of a science. At Posterior 71b35–72a6, Aristotle states that what is most universal (καθόλου) is better-known by nature and initially less-known to us, while the particular (καθ’ ἕκαστον) is initially better-known to us, but less-known by nature. At Physics 184a21-30, however, Aristotle states that we move from what is better-known to us, which is universal (καθόλου), (...) to what is better-known absolutely, which is particular (καθ’ ἕκαστον). This paper turns to two of Aristotle’s most notable medieval commentators—Albertus Magnus and Thomas Aquinas—to resolve this apparent contradiction. The key to Thomas and Albert’s solutions, we will argue, is a twofold distinction between a sense-perceptive and scientific universal, and the particulars as sensed individuals and as differentiating attributes. Our Synthetic treatment of these distinctions contributes to the ongoing scholarly effort to understand the Stagyrite’s complex theory of knowledge. (shrink)

For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...) is further shown that each member of one class is synonymous with each member of the other class; thus that all of the theories are definitionally equivalent with each other and with Peano arithmetic. Categoricity of Peano arithmetic then implies categoricity of each of the above theories. (shrink)

We define a notion of genericity for genericity subgroups of groups interpretable in a simple theory. and show that a type generic for such a group is generic for the minimal hyperdefinable supergroup (the definable hull). In particular, at least one generic type of the definable hull is finitely satisfiable in the original subgroup. If the subgroup is a subfield, then the additive and the multiplicative definable hull both have bounded index in the smallest hyperdefinable superfield.

An ω-categorical supersimple group is finite-by-abelian-by-finite, and has finite SU-rank. Every definable subgroup is commensurable with an acl( $\emptyset$ )-definable subgroup. Every finitely based regular type in a CM-trivial ω-categorical simple theory is non-orthogonal to a type of SU-rank 1. In particular, a supersimple ω-categorical CM-trivial theory has finite SU-rank.

With the current changes driven by the expansion of the World Wide Web, this book uses a different approach from other books on the market: it applies ontologies to electronically available information to improve the quality of knowledge management in large and distributed organizations. Ontologies are formal theories supporting knowledge sharing and reuse. They can be used to explicitly represent semantics of semi-structured information. These enable sophisticated automatic support for acquiring, maintaining and accessing information. Methodology and tools are developed for (...) intelligent access to large volumes of semi-structured and textual information sources in intra- and extra-, and internet-based environments to employ the full power of ontologies in supporting knowledge management from the information client perspective and the information provider. The aim of the book is to support efficient and effective knowledge management and focuses on weakly-structured online information sources. It is aimed primarily at researchers in the area of knowledge management and information retrieval and will also be a useful reference for students in computer science at the postgraduate level and for business managers who are aiming to increase the corporations' information infrastructure. The Semantic Web is a very important initiative affecting the future of the WWW that is currently generating huge interest. The book covers several highly significant contributions to the semantic web research effort, including a new language for defining ontologies, several novel software tools and a coherent methodology for the application of the tools for business advantage. It also provides 3 case studies which give examples of the real benefits to be derived from the adoption of semantic-web based ontologies in "real world" situations. As such, the book is an excellent mixture of theory, tools and applications in an important area of WWW research. * Provides guidelines for introducing knowledge management concepts and tools into enterprises, to help knowledge providers present their knowledge efficiently and effectively. * Introduces an intelligent search tool that supports users in accessing information and a tool environment for maintenance, conversion and acquisition of information sources. * Discusses three large case studies which will help to develop the technology according to the actual needs of large and or virtual organisations and will provide a testbed for evaluating tools and methods. The book is aimed at people with at least a good understanding of existing WWW technology and some level of technical understanding of the underpinning technologies (XML/RDF). It will be of interest to graduate students, academic and industrial researchers in the field, and the many industrial personnel who are tracking WWW technology developments in order to understand the business implications. It could also be used to support undergraduate courses in the area but is not itself an introductory text. (shrink)

Non-$n$-ampleness as defined by Pillay [20] and Evans [5] is preserved under analysability. Generalizing this to a more general notion of $\Sigma$-ampleness, this gives an immediate proof for all simple theories of a weakened version of the Canonical Base Property (CBP) proven by Chatzidakis [4] for types of finite SU-rank. This is then applied to the special case of groups.

JOHN CORCORAN AND WILIAM FRANK. Surprises in logic. Bulletin of Symbolic Logic. 19 253. Some people, not just beginning students, are at first surprised to learn that the proposition “If zero is odd, then zero is not odd” is not self-contradictory. Some people are surprised to find out that there are logically equivalent false universal propositions that have no counterexamples in common, i. e., that no counterexample for one is a counterexample for the other. Some people would be (...) surprised to find out that in normal first-order logic existential import is quite common: some universals “Everything that is S is P” —actually quite a few—imply their corresponding existentials “Something that is S is P”. Anyway, perhaps contrary to its title, this paper is not a cataloging of surprises in logic but rather about the mistakes that did or might have or might still lead people to think that there are no surprises in logic. The paper cataloging of surprises in logic is on our “to-do” list. -/- ► JOHN CORCORAN AND WILIAM FRANK, Surprises in logic. Philosophy, University at Buffalo, Buffalo, NY 14260-4150, USA E-mail: [email protected] There are many surprises in logic. Peirce gave us a few. Russell gave Frege one. Löwenheim gave Zermelo one. Gödel gave some to Hilbert. Tarski gave us several. When we get a surprise, we are often delighted, puzzled, or skeptical. Sometimes we feel or say “Nice!”, “Wow, I didn’t know that!”, “Is that so?”, or the like. Every surprise belongs to someone. There are no disembodied surprises. Saying there are surprises in logic means that logicians experience surprises doing logic—not that among logical propositions some are intrinsically or objectively “surprising”. The expression “That isn’t surprising” often denigrates logical results. Logicians often aim for surprises. In fact, [1] argues that logic’s potential for surprises helps motivate its study and, indeed, helps justify logic’s existence as a discipline. Besides big surprises that change logicians’ perspectives, the logician’s daily life brings little surprises, e.g. that Gödel’s induction axiom alone implies Robinson’s axiom. Sometimes wild guesses succeed. Sometimes promising ideas fail. Perhaps one of the least surprising things about logic is that it is full of surprises. Against the above is Wittgenstein’s surprising conclusion : “Hence there can never be surprises in logic”. This paper unearths basic mistakes in [2] that might help to explain how Wittgenstein arrived at his false conclusion and why he never caught it. The mistakes include: unawareness that surprise is personal, confusing logicians having certainty with propositions having logical necessity, confusing definitions with criteria, and thinking that facts demonstrate truths. People demonstrate truths using their deductive know-how and their knowledge of facts: facts per se are epistemically inert. [1] JOHN CORCORAN, Hidden consequence and hidden independence. This Bulletin, vol.16, p. 443. [2] LUDWIG WITTGENSTEIN, Tractatus Logico-Philosophicus, Kegan Paul, London, 1921. -/-. (shrink)

We study hyperdefinable groups, the most general kind of groups interpretable in a simple theory. After developing their basic theory, we prove the appropriate versions of Hrushovski's group quotient theorem and the Weil–Hrushovski group chunk theorem. We also study locally modular hyperdefinable groups and prove that they are bounded-by-Abelian-by-bounded. Finally, we analyze hyperdefinable groups in supersimple theories.

Cosmic Justice Hypotheses. -/- This applied-logic lecture builds on [1] arguing that character traits fostered by logic serve clarity and understanding in ethics, confirming hopeful views of Alfred Tarski [2, Preface, and personal communication]. Hypotheses in one strict usage are propositions not known to be true and not known to be false or—more loosely—propositions so considered for discussion purposes [1, p. 38]. Logic studies hypotheses by determining their implications (propositions they imply) and their implicants (propositions that imply them). Logic also (...) studies hypotheses by seeing how variations affect implications and implicants. People versed in logical methods are more inclined to enjoy working with hypotheses and less inclined to dismiss them or to accept them without sufficient evidence. Cosmic Justice Hypotheses (CJHs), such as “in the fullness of time every act will be rewarded or punished in exact proportion to its goodness or badness”, have been entertained by intelligent thinkers. Absolute CJHs, ACHJs, imply that it is pointless to make sacrifices, make pilgrimages, or ask divine forgiveness: once acts are done, doers must ready themselves for the inevitable payback, since the cosmos works inexorably toward justice. Ceteris Paribus CJHs, CPCJHs, on the other hand, such as “in the fullness of time every act will be rewarded or punished in exact proportion to its goodness or badness—other things being equal”, leave room for exceptions. For example, some people subscribing to Ceteris Paribus CJHs think that certain bad acts can be performed with impunity as long as certain procedures are carried out previous to, or simultaneous with, or even after the acts. Belief Ceteris Paribus CJHs has been exploited by unscrupulous “spiritual leaders” who claim to have power to grant exceptions. In opposition to belief in CPCJHs are CJHs that hold belief in CPCJHs to be inherently wrong and subject to punishment. Other variants of CJHs are Cumulative Cosmic Justice Hypotheses, such as “in the fullness of time every person will be rewarded or punished in exact proportion to the net goodness or badness of their acts”. Still other variants include the Hereditary Cumulative Cosmic Justice Hypotheses, such as “in the fullness of time every person will be rewarded or punished in exact proportion to the net goodness or badness of their ancestors’ acts”. [1] JOHN CORCORAN, Inseparability of Logic and Ethics, Free Inquiry, S. 1989, pp. 37–40. [2] ALFRED TARSKI, Introduction to Logic, Dover, 1995. (shrink)

The major stakeholder classes in education have three distinct ways by which they judge the quality of knowledge claims. At times this can cause considerable distraction or mis-communication among stakeholders.

Previous accounts of how people develop expertise have focused on how deliberate practice transforms the cognitive and perceptual representations and processes that give rise to expertise. However, the likelihood of developing expertise with a particular tool may also depend on the degree to which that tool fits pre‐existing perceptual and cognitive abilities. The present studies explored whether the abacus—a descendent of the first human computing devices—may have evolved to exploit general biases in human visual attention, or whether developing expertise with (...) the abacus requires learning special strategies for allocating visual attention to the abacus. To address this question, we administered a series of visual search tasks to abacus experts and subjects who had little to no abacus experience, in which search targets and distractors were overlaid atop abacus “beads.” Across three studies, we found that both experts and naïve subjects were faster to detect targets in semantically relevant components of the abacus, suggesting that abacus training is not required to exhibit attentional biases toward these components of the abacus. This finding suggests that the attentional biases that scaffold numerical processing of the abacus may emerge from general properties of visual attention that are exploited by the design of the abacus itself. (shrink)

This article discusses and describes the contents of a large newly acquired addition to the Papers of Josiah Royce, Harvard University Archives. The material includes Royce unpublished manuscripts (1 box), incoming correspondence (4 boxes), logicalia (1 box), correspondence of Royce and Head families (5 boxes), family photographs (1 box), manuscripts of Katherine Royce (1 box), notebooks, diaries, etc. (1 box), Royce's published work (2 boxes), miscellanea (4 boxes). Appendix A lists Royce's correspondents alphabetically. Appendix B prints letters by Royce and (...) Peirce. (shrink)

The concept of the "locus of control" is one of the most influential in all of the psychological sciences. Initially proposed by Julian Rotter in 1966, the year 2016 marks the 50th anniversary of this remarkable breakthrough, subsequently inspiring thousands of research studies in the human sciences - research that has only served to deepen the utility of this amazing concept. Edited by John W. Reich and Frank J. Infurna, Perceived Control: Theory, Research, and Practice in the First (...) 50 Years commemorates this important anniversary by featuring contributions from leading figures of the time - some of whom were there at the very beginning of Rotter's breakthrough - to give readers a valuable historical record and measuring stick to illustrate how far we've come. Other contributors to this volume expertly present contemporary and cutting-edge summaries of the current state of our knowledge all while giving us a roadmap for future developments and directions. What have these developments revealed about basic human strengths and capacities? Why has this concept proven so remarkably effective in illuminating our everyday life in sickness and health? Perceived Control is a fascinating work that incorporates research from Rotter's original concept, and addresses many of the leading comparable concepts that have since evolved: self-efficacy, personal mastery, competence, primary and secondary control, and more specific topics such as health locus of control, learned helplessness, and other heuristic concepts discussed in many different fields of psychology and the allied disciplines. As Perceived Control skillfully attests, Rotter's work continues to thrive, leaving little doubt that its influence will endure for another half century of more. (shrink)

Let us say that a thing is gunky just in case every part of that thing has proper parts. The idea that all physical objects are gunky seems sufficiently sweeping, interesting, and plausible that it is worth examining. However, there is a difficulty. The features of an extended object can surely vary continuously. If an object is gunky then it cannot have point-sized parts which have no further parts. But how can one conceive of a continuous variation in features other (...) than as the obtaining of different features at different point sized locations? (shrink)

In this paper we 1. provide a natural deduction system for full first-order linear logic, 2. introduce Curry-Howard-style terms for this version of linear logic, 3. extend the notion of substitution of Curry-Howard terms for term variables, 4. define the reduction rules for the Curry-Howard terms and 5. outline a proof of the strong normalization for the full system of linear logic using a development of Girard's candidates for reducibility, thereby providing an alternative to Girard's proof using proof-nets.

If K is a field of finite Morley rank, then for any parameter set $A \subseteq K^{eq}$ the prime model over A is equal to the model-theoretic algebraic closure of A. A field of finite Morley rank eliminates imaginaries. Simlar results hold for minimal groups of finite Morley rank with infinite acl( $\emptyset$ ).

The following theorems are proved about the Frattini-free componentG Φ of a soluble stable ℜ-group: a) If it has a normal subgroupN with nilpotent quotientG Φ/N, then there is a nilpotent subgroupH ofG Φ withG Φ=NH. b) It has Carter subgroups; if the group is small, they are all conjugate. c) Nilpotency modulo a suitable Frattini-subgroup (to be defined) implies nilpotency. The last result makes use of a new structure theorem for the centre of the derivative of the Frattini-free component (...) of a centreless soluble ℜ-group. (shrink)

We define an $\mathfrak{R}$-group to be a stable group with the property that a generic element can only be algebraic over a generic. We then derive some corollaries for $\mathfrak{R}$-groups and fields, and prove a decomposition theorem and a field theorem. As a nonsuperstable example, we prove that small stable groups are $\mathfrak{R}$-groups.

We study local strengthenings of the simplicity condition. In particular, we define and study a local Lascar rank, as well as short, low, supershort and superlow theories. An example of a low, non supershort theory is given.

The emergence of the COVID-19 pandemic resulted in abrupt disruptions in teaching and learning activities in higher education, with students from diverse programs suffering varying levels of anxieties. The physical education field happens to be one of the most affected academic areas due to its experiential content as a medium of instruction. In this study, we investigated the roles of school climate and coping strategies in the relationship between COVID-19 related knowledge and anxiety. Through the census approach, a cross-sectional sample (...) of 760 students was administered a questionnaire in two universities offering Physical Education in Ghana: the University of Education, Winneba, and University of Cape Coast. The outcome of the study found a positive and significant link between COVID-19 knowledge and anxiety. Further, school climate and coping strategies significantly moderated the relationship between students’ COVID-19 knowledge and associated anxiety. The findings have implications for creating a conducive school environment that reduces the risk of COVID-19 infection and through students’ adoption of active coping strategies in an attempt to reduce psychological distress associated with COVID-19 anxiety. (shrink)

This book examines the many ethical issues that are encountered in the Pediatric Intensive Care Unit. It supports pediatricians, nurses, residents, and other providers in their daily management of critically ill children with the dilemmas that arise. It begins by examining the evolution of pediatric critical care, and who is now impacted by this advancing medical technology. Subsequent chapters explore specific ethical concerns and controversies that are commonly encountered. These topics include how to conduct end-of-life discussions with families facing a (...) myriad of challenging choices. It goes on to explore the concept of futility, and what that does and does not mean in the pediatric ICU setting. Controversial subjects such as children as organ donors, particularly using donation after cardiac death, in addition to issues surrounding the declaration of brain death are covered. Additional chapters address resource allocation, and also analyze the use of long-term technology in chronically critically ill children. Chapters include case examples with guidance on how to work through similar difficulties and decision-making. While this book is specifically targeted for care providers at the ICU bedside, it is also of benefit to medical students, students in bioethics, practicing ethical consultants and families who are dealing with critically ill children. (shrink)

A totally ordered group G is essentially periodic if for every definable non-trivial convex subgroup H of G every definable subset of G is equal to a finite union of cosets of subgroups of G on some interval containing an end segment of H; it is coset-minimal if all definable subsets are equal to a finite union of cosets, intersected with intervals. We study definable sets and functions in such groups, and relate them to the quasi-o-minimal groups introduced in Belegradek (...) et al. . Main results: An essentially periodic group G is abelian; if G is discrete, then definable functions in one variable are ultimately piecewise linear. A group such that every model elementarily equivalent to it is coset-minimal is quasi-o-minimal , and its definable functions in one variable are piecewise linear. (shrink)

A minimal field of non-zero characteristic is algebraically closed.

We define an R-group to be a stable group with the property that a generic element (for any definable transitive group action) can only be algebraic over a generic. We then derive some corollaries for R-groups and fields, and prove a decomposition theorem and a field theorem. As a nonsuperstable example, we prove that small stable groups are R-groups.

To find more information about Rowman and Littlefield titles, please visit www.rowmanlittlefield.com.

Several recent articles raise an issue long unaddressed in the medical literature: physician compliance with patient or family requests for futile or ineffectice therapy. Although they agree philosophically that such treatment ought not be given, most physicians have followed the course described by Stanley Fiel, in which a young patient dying of cystic fibrosis was accepted “for evaluation” by a transplant center even though he has already passed the threshold of viability as a candidate for a heart-lung transplant. Dr. Fiel (...) reported this action was taken not in the hope of doing the transplant but so that the family could assure themselves they had done “everything possible.” The patient, after a long and stressful cross-country flight, arrived at the hospital in respiratory failure. He died soon thereafter far from home and familiar surroundings. (shrink)

If ${\mathfrak {F}}$ is a type-definable family of commensurable subsets, subgroups or subvector spaces in a metric structure, then there is an invariant subset, subgroup or subvector space commensurable with ${\mathfrak {F}}$. This in particular applies to type-definable or hyper-definable objects in a classical first-order structure.